Metas Ai Solves Century-Old Math Problems